基于身份的前向安全和可公开验证签密方案

针对具有前向安全性和可公开验证的签密方案进行研究,基于Liber 和Quisquater的签密方案,给出了一个新的签密方案,并对所提出方案的安全性和效率进行了分析.结果表明:文章给出的签密方案实现了同时提供前向安全性和可公开验证性;而基于身份公钥密码和双线性对技术,使该方案又具有密钥长度短和密钥管理简单的特点,使其具有与LQ签密方案相当的效率.这种高效性和高安全性签密方案的提出,不仅对相关公开问题的解决具有一定理论意义,同时文中签密方案能更好的满足电子商务等实际应用的高安全需求,因此也具有一定应用价值.     

一个高效的无证书盲签名方案

提出了一个高效的无证书盲签名方案.在随机预言机模型下,证明了新方案在适应性选择消息、选择身份攻击下是存在不可伪造的,能够有效抵抗AⅠ攻击者的替换公钥攻击和AⅡ攻击者的KGC攻击.方案中在签名阶段没有任何双线性对运算,在验证阶段只有一个双线性对运算,并且不需要使用映射到点(Map to Point)的特殊哈希函数.与已有方案相比,所提方案在计算量上更具优势.同时方案采用无证书公钥密码体制,解决了基于证书签名方案的证书管理问题和基于身份签名方案的密钥托管问题.     

一个高效的基于ID的无证书签名方案的安全性分析及改进

本文通过对刘景伟等人提出的高效的基于ID的无证书签名方案的安全性进行分析,指出了该签名方案是不安全的．该方案能受到替换公钥攻击,以至于任何人都能对任何消息成功伪造签名．最后,本文对该签名方案进行了改进,改进后方案的安全性是基于CDH问题的．     

离散模糊双线性系统的广义H2控制

针对离散模糊双线性系统的广义H2控制问题,基于分段李雅普诺夫稳定性理论,通过设计分段状态反馈控制器,得到了闭环分段模糊双线性系统广义H2稳定的充分条件,控制器的设计可以通过两步法把双线性矩阵不等式转化成求解一系列的线性矩阵不等式得到,数值仿真例子验证了这种控制器的设计方法的有效性和理论结果的正确性。     

实单Malcev代数上的不变双线性型

研究实单Malcev 代数上的不变双线性型, 仿照李代数的情形给出实Ma lcev代数上的容许复结构、实Malcev代数的复化以及Malcev代数上的不变双线性型等概念, 并通过对实单Malcev 代数上容许复结构的讨论,将实单Malcev 代数上的不变双线性型分为两种情形.     

双线性分数次积分算子交换子在Triebel-Lizorkin空间上有界的充分必要条件

首先讨论了双线性分数次积分算子与Lipschitz函数生成的线性交换子在Triebel-Lizorkin空间上的有界性.然后证明了b_1=b_2为Lipschitz函数的等价条件是双线性分数次积分算子交换子从乘积Lebesgue空间到Lebesgue空间(或Triebel-Lizorkin空间)有界.     

基于鲁棒性的外加航班机组配对研究

为了提高中小型航空公司的服务水平,增强其应对外加航班的灵活性,文章针对外加航班机组配对问题设计了新型的机组配对方案.在基于传统的机组配对模型上,满足外加航班机组配对的要求下,提出具有鲁棒性的机组配对模型.之后通过算例分析,用CPLEX软件对所建立的模型进行求解,得出了模型下目标函数的最优解.最后通过不同结果的对比,显示了鲁棒性建模方法的好处并表明鲁棒性模型在以相对较小的成本增加而不干扰已有航班的情况下可以为恢复提供自然的选择,为中小型航空公司在处理外加航班问题上提供有意义的参考.     

对一个无证书部分盲签名方案的分析与改进

对汤鹏志等提出的一种无证书部分盲签名方案进行了密码分析,指出方案中签名请求者可以非法修改协商信息.为了有效抵抗篡改协商信息攻击,提出了一种改进的无证书部分盲签名方案.在随机预言机模型下证明了改进方案对无证书密码体制的两类敌手的自适应选择消息和身份攻击是存在性不可伪造的,其安全性可以归约为k-CAA问题和ICDH问题.     

无证书有序多重签名方案的安全性分析

为了提高分布式环境下信任链上推荐信息的认证效率,秦艳琳等人提出一个高效的有固定签名长度的无证书有序多重签名方案,并证明了她们的方案是安全的.但是,秦方案的设计存在安全缺陷,通过具体攻击方法进行分析,结果显示,任意一个敌手都可以篡改其信任路径上的信息,可以伪造所有节点对信息的多重签名.     

A signcryption scheme based on self-certified cryptography

Self-certified signcryption can remove key escrow problem and certification management problem. Based on Boneh and Boyen＇s short signature scheme, a secure self-certified sign- cryption scheme is proposed. Under the strong Diffie-Hellman assumption, the new scheme is proved secure, in which it satisfies public verifiability and existential unforgeablity. Furthermore, performance analysis shows that the proposed scheme only re- quires two pairing evaluations, so it can be used in the power and bandwidth limited environments.